Software system safety

#	Item
861	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-01-19 11:14:01 Software engineering Semantics Logic in computer science Deduction Geometric group theory Twelf Entailment Type safety Type system Logic Type theory Abstract algebra
862	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2003-02-03 11:57:30 Software engineering Deduction Program analysis Type system Type safety Entailment Pointer Logic Type theory Data types
863	PDF Document Add to Reading List Source URL: www.airweb.faa.gov Language: English - Date: 2011-06-13 17:55:33 Safety Safety engineering Software quality Failure Fault tree analysis Failure mode and effects analysis Failure causes Air safety Life-critical system Systems engineering Reliability engineering Risk
864	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-12-29 03:26:05 Software engineering Generalized algebraic data type Type system Type inference Entailment Type safety Natural deduction Symbol Type theory Logic Programming language theory